<?php

	echo "Hello World.";

?>
